$\forall$$a$,$b$:int\_nzero. ($a$ $\ast$ $b$) $\in$ int\_nzero